#ifndef _PAGE_H_
#define _PAGE_H_

#include <types.h>

#define PAGE_P 0x1
#define PAGE_RW 0x2
#define PAGE_USER 0x4
#define PAGE_ACCESS 0x20	/* 32 */
#define PAGE_DIRTY 0x40 	/* 64 */

void* alloc_pages(uint32 size);
void free_s_pages(void* addr, uint32 size);

#endif
